HAL/S programmer's guide

HAL/S is a programming language developed to satisfy the flight software requirements for the space shuttle program. The user's guide explains pertinent language operating procedures and described the various HAL/S facilities for manipulating integer, scalar, vector, and matrix data types

HAL/S programmer's guide

This programming language was developed for the flight software of the NASA space shuttle program. HAL/S is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, HAL/s incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. As the name indicates, HAL/S is a dialect of the original HAL language previously developed. Changes have been incorporated to simplify syntax, curb excessive generality, or facilitate flight code emission

HAL/S-360 compiler system specification

A three phase language compiler is described which produces IBM 360/370 compatible object modules and a set of simulation tables to aid in run time verification. A link edit step augments the standard OS linkage editor. A comprehensive run time system and library provide the HAL/S operating environment, error handling, a pseudo real time executive, and an extensive set of mathematical, conversion, I/O, and diagnostic routines. The specifications of the information flow and content for this system are also considered

A Search for Scalar Chameleons with ADMX

Scalar fields with a "chameleon" property, in which the effective particle mass is a function of its local environment, are common to many theories beyond the standard model and could be responsible for dark energy. If these fields couple weakly to the photon, they could be detectable through the "afterglow" effect of photon-chameleon-photon transitions. The ADMX experiment was used in the first chameleon search with a microwave cavity to set a new limit on scalar chameleon-photon coupling excluding values between 2*10^9 and 5*10^14 for effective chameleon masses between 1.9510 and 1.9525 micro-eV.Comment: 4 pages, 3 figure

A SQUID-based microwave cavity search for dark-matter axions

Axions in the micro eV mass range are a plausible cold dark matter candidate and may be detected by their conversion into microwave photons in a resonant cavity immersed in a static magnetic field. The first result from such an axion search using a superconducting first-stage amplifier (SQUID) is reported. The SQUID amplifier, replacing a conventional GaAs field-effect transistor amplifier, successfully reached axion-photon coupling sensitivity in the band set by present axion models and sets the stage for a definitive axion search utilizing near quantum-limited SQUID amplifiers.Comment: 4 pages, 5 figures, submitted to PR

Move of a large but delicate apparatus on a trailer with air-ride suspension

When valuable delicate goods are shipped by truck, attention must be paid to vibrations that may cause damage. We present a case study of moving an extremely delicate 6230-kg superconducting magnet, immersed in liquid nitrogen, from Livermore, CA to Seattle, WA showing the steps of fatigue analysis of the load, a test move, and acceleration monitoring of the final move to ensure a successful damage-free transport

Design and performance of the ADMX SQUID-based microwave receiver

The Axion Dark Matter eXperiment (ADMX) was designed to detect ultra-weakly interacting relic axion particles by searching for their conversion to microwave photons in a resonant cavity positioned in a strong magnetic field. Given the extremely low expected axion-photon conversion power we have designed, built and operated a microwave receiver based on a Superconducting QUantum Interference Device (SQUID). We describe the ADMX receiver in detail as well as the analysis of narrow band microwave signals. We demonstrate the sustained use of a SQUID amplifier operating between 812 and 860 MHz with a noise temperature of 1 K. The receiver has a noise equivalent power of 1.1x10^-24 W/sqrt(Hz) in the band of operation for an integration time of 1.8x10^3 s.Comment: 8 pages, 12 figures, Submitted to Nuclear Inst. and Methods in Physics Research,

The Pfam protein families database

Pfam is a comprehensive collection of protein domains and families, represented as multiple sequence alignments and as profile hidden Markov models. The current release of Pfam (22.0) contains 9318 protein families. Pfam is now based not only on the UniProtKB sequence database, but also on NCBI GenPept and on sequences from selected metagenomics projects. Pfam is available on the web from the consortium members using a new, consistent and improved website design in the UK (http://pfam.sanger.ac.uk/), the USA (http://pfam.janelia.org/) and Sweden (http://pfam.sbc.su.se/), as well as from mirror sites in France (http://pfam.jouy.inra.fr/) and South Korea (http://pfam.ccbb.re.kr/)